This is just a random unknown extension to verify that it uses
the default filetype settings when an extension is unknown.
